Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1

Source URL: tmancini.di.uniroma1.it

• Programming paradigms
• Abductive logic programming
• Linear temporal logic
• Model checking
• Formal verification
• NuSMV
• Constraint programming
• Temporal logic
• Declarative programming
• Prolog
• Logic programming
• Entityrelationship model

The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d

Source URL: www.fields.utoronto.ca

• Functional analysis
• Lemmas
• Symbol
• FO
• IP
• Dual space
• Craig interpolation
• Model theory
• Linear temporal logic

Towards Diagrammability and Efficiency in Event Sequence Languages Kathi Fisler Department of Computer Science WPI (Worcester, MA, USA)

Source URL: web.cs.wpi.edu

• Finite automata
• Theoretical computer science
• Formal languages
• Infographics
• Linear temporal logic
• Temporal logic
• Finite-state machine
• Diagram
• Sequence
• Formal verification
• Automata theory
• Bchi automaton

Nonlinear Wavelet Image Processing: Variational Problems, Compression, and Noise Removal through Wavelet Shrinkage∗ Antonin Chambolle1 , Ronald A. DeVore2 , Nam-yong Lee3 , and Bradley J. Lucier4 Abstract This paper ex

Source URL: www.math.purdue.edu

• Functional analysis
• Signal processing
• Timefrequency analysis
• Wavelet
• Dual space
• Craig interpolation
• Haar wavelet
• Linear temporal logic
• Differential forms on a Riemann surface

Natural Temporal Difference Learning

Source URL: psthomas.com

• Smooth functions
• Distribution
• Functional analysis
• Reinforcement learning
• Linear temporal logic

Lecture 20 Spectral Graph Theory and its Applications Graph Decompositions November 18, 2004

Source URL: www.cs.yale.edu

• Operator theory
• Contraction
• Linear temporal logic
• Positive-definite function on a group

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOL. , NO. , MONTH YEAR 1 Correct-By-Construction Adaptive Cruise Control: Two Approaches

Source URL: web.eecs.umich.edu

• Control theory
• Cybernetics
• Linear temporal logic
• Symbol

On Exponential Sums and Group Generators for Elliptic Curves over Finite Fields David R. Kohel1 and Igor E. Shparlinski2 1 School of Mathematics and Statistics

Source URL: iml.univ-mrs.fr

• Group theory
• Analytic number theory
• Elliptic curve
• Operator theory
• Differential forms on a Riemann surface
• Linear temporal logic

Stream Reasoning using Temporal Logic for Autonomous System Fredrik Heintz

Source URL: www.vcla.at

Game-Theoretic Semantics for Alternating-Time Temporal Logic arXiv:1602.07667v1 [math.LO] 24 FebValentin Goranko1

Source URL: www.informatik.uni-bremen.de